Stefania Gnesi : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (125)
Les plus populaires
Liste
- Liste
- Tableau

1

A Formal Verification Environment for Railway Signaling System Design

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano

Journal:

Formal Methods in System Design

Année:

1998

Langue:

english

Fichier:

PDF, 316 KB

english, 1998

2

Ambiguity and tacit knowledge in requirements elicitation interviews

Ferrari, Alessio, Spoletini, Paola, Gnesi, Stefania

Journal:

Requirements Engineering

Année:

2016

Langue:

english

Fichier:

PDF, 1016 KB

english, 2016

3

Modelling Dynamic Software Architectures using Typed Graph Grammars

Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán Melgratti

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 374 KB

english, 2008

4

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 ||

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Année:

2016

Langue:

english

Fichier:

PDF, 18.35 MB

english, 2016

5

An experience in using machine learning for short-term predictions in smart transportation systems

Bacciu, Davide, Carta, Antonio, Gnesi, Stefania, Semini, Laura

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2017

Langue:

english

Fichier:

PDF, 780 KB

english, 2017

6

A Graph-based Design Framework for Global Computing Systems

Antonio Bucchiarone, Greg Dennis, Stefania Gnesi

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 656 KB

english, 2009

7

The industrialization of formal methods

John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2006

Langue:

english

Fichier:

PDF, 98 KB

english, 2006

8

Compositionality and bisimulation: a negative result

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Journal:

Information Processing Letters

Année:

1991

Langue:

english

Fichier:

PDF, 775 KB

english, 1991

9

Assisting the design of a groupware system

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni

Journal:

The Journal of Logic and Algebraic Programming

Année:

2009

Langue:

english

Fichier:

PDF, 966 KB

english, 2009

10

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Stefania Gnesi, Diego Latella, Mieke Massink

Journal:

The Journal of Logic and Algebraic Programming

Année:

2002

Langue:

english

Fichier:

PDF, 403 KB

english, 2002

11

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 ||

Derrick, John, Gnesi, Stefania, Latella, Diego, Treharne, Helen

Année:

2012

Langue:

english

Fichier:

PDF, 7.50 MB

english, 2012

12

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Research challenges in business process adaptability

Cognini, Riccardo, Corradini, Flavio, Gnesi, Stefania, Polini, Andrea, Re, Barbara

Année:

2014

Langue:

english

Fichier:

PDF, 529 KB

english, 2014

13

Model-Based Development and Formal Methods in the Railway Industry

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 774 KB

english, 2013

14

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 ||

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Année:

2003

Langue:

english

Fichier:

PDF, 8.40 MB

english, 2003

15

Formal methods for railway control systems

Fantechi, Alessandro, Flammini, Francesco, Gnesi, Stefania

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2014

Langue:

english

Fichier:

PDF, 84 KB

english, 2014

16

Dynamic Programming as Graph Searching: An Algebraic Approach

Gnesi, Stefania, Montanari, Ugo, Martelli, Alberto

Journal:

Journal of the ACM

Année:

1981

Langue:

english

Fichier:

PDF, 816 KB

english, 1981

17

[ACM Press the 19th International Conference - Nashville, Tennessee (2015.07.20-2015.07.24)] Proceedings of the 19th International Conference on Software Product Line - SPLC '15 - Applying the product lines paradigm to the quantitative analysis of collective adaptive systems

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania

Année:

2015

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2015

18

Special section on the 17th International Software Product Line Conference

Gnesi, Stefania, Jarzabek, Stan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2015

Langue:

english

Fichier:

PDF, 319 KB

english, 2015

19

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2016

Langue:

english

Fichier:

PDF, 2.70 MB

english, 2016

20

2.4.2 QuARS: Automated Natural Language Analysis of Requirements and Specifications

Lami, Giuseppe, Ferguson, Robert, Goldenson, Dennis, Fusani, Mario, Fabbrini, Fabrizio, Gnesi, Stefania

Journal:

INCOSE International Symposium

Année:

2005

Langue:

english

Fichier:

PDF, 92 KB

english, 2005

21

Business process flexibility - a systematic literature review with a software systems perspective

Cognini, Riccardo, Corradini, Flavio, Gnesi, Stefania, Polini, Andrea, Re, Barbara

Journal:

Information Systems Frontiers

Année:

2016

Langue:

english

Fichier:

PDF, 2.53 MB

english, 2016

22

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 ||

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Année:

2016

Langue:

english

Fichier:

PDF, 29.75 MB

english, 2016

23

[IEEE 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Buenos Aires, Argentina (2017.5.27-2017.5.27)] 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017)

Gnesi, Stefania, Plat, Nico, Melgratti, Hernan

Année:

2017

Langue:

english

Fichier:

PDF, 150 KB

english, 2017

24

A Guidelines Framework for Understandable BPMN Models

Corradini, Flavio, Ferrari, Alessio, Fornari, Fabrizio, Gnesi, Stefania, Polini, Andrea, Re, Barbara, Spagnolo, Giorgio O.

Journal:

Data & Knowledge Engineering

Année:

2017

Langue:

english

Fichier:

PDF, 978 KB

english, 2017

25

Natural Language Requirements Processing: A 4D Vision

Ferrari, Alessio, DellOrletta, Felice, Esuli, Andrea, Gervasi, Vincenzo, Gnesi, Stefania

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2017

26

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

Ferrari, Alessio, Gori, Gloria, Rosadini, Benedetta, Trotta, Iacopo, Bacherini, Stefano, Fantechi, Alessandro, Gnesi, Stefania

Journal:

Empirical Software Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 2.69 MB

english, 2018

27

Formal methods for transport systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2018

Langue:

english

Fichier:

PDF, 348 KB

english, 2018

28

Formal methods and automated verification of critical systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2018

Langue:

english

Fichier:

PDF, 341 KB

english, 2018

29

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Product line models of large cyber-physical systems

Beek, Maurice H. ter, Fantechi, Alessandro, Gnesi, Stefania

Année:

2018

Langue:

english

Fichier:

PDF, 625 KB

english, 2018

30

On the expressiveness of modal transition systems with variability constraints

ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca

Journal:

Science of Computer Programming

Année:

2019

Langue:

english

Fichier:

PDF, 575 KB

english, 2019

31

[IEEE 2018 IEEE 26th International Requirements Engineering Conference (RE) - Banff, AB, Canada (2018.8.20-2018.8.24)] 2018 IEEE 26th International Requirements Engineering Conference (RE) - Requirement Engineering of Software Product Lines: Extracting Variability Using NLP

Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Semini, Laura

Année:

2018

Langue:

english

Fichier:

PDF, 140 KB

english, 2018

32

[IEEE 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) - Banff, AB (2018.8.21-2018.8.21)] 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) - Identification of Cross-Domain Ambiguity with Language Models

Ferrari, Alessio, Esuli, Andrea, Gnesi, Stefania

Année:

2018

Langue:

english

Fichier:

PDF, 282 KB

english, 2018

33

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Volume 2 - Modelling and analysis with featured modal contract automata

Basile, Davide, Beek, Maurice H. ter, Gnesi, Stefania

Année:

2018

Langue:

english

Fichier:

PDF, 633 KB

english, 2018

34

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - Applying the QuARS tool to detect variability

Fantechi, Alessandro, Gnesi, Stefania, Semini, Laura

Année:

2019

Fichier:

PDF, 1.53 MB

2019

35

Controller synthesis of service contracts with variability

Basile, Davide, ter Beek, Maurice H., Degano, Pierpaolo, Legay, Axel, Ferrari, Gian-Luigi, Gnesi, Stefania, Di Giandomenico, Felicita

Journal:

Science of Computer Programming

Année:

2020

Fichier:

PDF, 1.00 MB

2020

36

Model Checking Publish/Subscribe Notification for thinkteam®

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 444 KB

english, 2005

37

A state/event-based model-checking approach for the analysis of abstract system properties

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Journal:

Science of Computer Programming

Année:

2011

Langue:

english

Fichier:

PDF, 2.30 MB

english, 2011

38

Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3–4, 2000—selected papers

Hubert Garavel, Stefania Gnesi, Ina Schieferdecker

Journal:

Science of Computer Programming

Année:

2003

Langue:

english

Fichier:

PDF, 37 KB

english, 2003

39

Foreword

Jorge Cuellar, Stefania Gnesi, Diego Latella

Journal:

Science of Computer Programming

Année:

2000

Langue:

english

Fichier:

PDF, 43 KB

english, 2000

40

Model checking fault tolerant systems

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi

Journal:

Software Testing, Verification and Reliability

Année:

2002

Langue:

english

Fichier:

PDF, 266 KB

english, 2002

41

Model checking for action-based logics

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Journal:

Formal Methods in System Design

Année:

1994

Langue:

english

Fichier:

PDF, 813 KB

english, 1994

42

Editorial

Stefania Gnesi, Diego Latella

Journal:

Formal Aspects of Computing

Année:

1998

Langue:

english

Fichier:

PDF, 41 KB

english, 1998

43

Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996-Selected Papers

Stefania Gnesi, Diego Latella

Journal:

Formal Methods in System Design

Année:

1998

Langue:

english

Fichier:

PDF, 49 KB

english, 1998

44

Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11–12, 1999—Selected Papers

Stefania Gnesi, Diego Latella

Journal:

Formal Methods in System Design

Année:

2001

Langue:

english

Fichier:

PDF, 29 KB

english, 2001

45

Two standards means problems: A case study on formal protocol descriptions

Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve

Journal:

Computer Standards & Interfaces

Année:

1989

Langue:

english

Fichier:

PDF, 680 KB

english, 1989

46

On testing UML statecharts

Mieke Massink, Diego Latella, Stefania Gnesi

Journal:

The Journal of Logic and Algebraic Programming

Année:

2006

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2006

47

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 || Model Checking as Static Analysis: Revisited

Derrick, John, Gnesi, Stefania, Latella, Diego, Treharne, Helen

Année:

2012

Langue:

english

Fichier:

PDF, 308 KB

english, 2012

48

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Learn and Test for Event-B – A Rodin Plugin

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Année:

2012

Langue:

english

Fichier:

PDF, 264 KB

english, 2012

49

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Année:

2012

Langue:

english

Fichier:

PDF, 236 KB

english, 2012

50

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Temporal Logic Model Checking in Alloy

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Année:

2012

Langue:

english

Fichier:

PDF, 262 KB

english, 2012